failure 139:

Requirement failed: {remquol.07.01.01} Function executed successfully with EOK error code, while `(isInfinity_Unifloat(x) && !isNan_Unifloat(y)) || (isZero_Unifloat(y) && !isNan_Unifloat(x)) == true` means that EDOM SHALL be set

location
trace	/var/opt/lsb/test/olver-core/2013-01-21_10-20-40/math_real_scenario.utz (math_real_scenario.utt), line 19512
occurence
scenario	math_real_scenario
specification function	remquo_spec()
parameter value	CallContext context = [pid=14334,thr=b751c6c0]
parameter value	Unifloat * @x = (long double) Infinity
parameter value	Unifloat * x = (long double) Infinity
parameter value	Unifloat * @y = (long double) 1.2300000000000000000000000000000000e+02 (0x.F600000000000000P7L)
parameter value	Unifloat * y = (long double) 1.2300000000000000000000000000000000e+02 (0x.F600000000000000P7L)
parameter value	Unifloat ** @quo = <0xbf870d48>ptr to <NULL>
parameter value	Unifloat ** quo = <0xbf870d48>ptr to (long double) 0.0000000000000000000000000000000000e+00 (0x.0000000000000000P1L)
parameter value	ErrorCode * @errno = EOK
parameter value	ErrorCode * errno = EOK
return value	(Unifloat *) (long double) NaN
coverage & branch	C x is infinite and y is non-NaN
properties
REQ failed	remquol.07.01.01
expected value	(long double) NaN
kind	POSTCONDITION_FAILED

similar known bug(s)
The remquo(x, y, quo) family of functions shall return the floating-point remainder r = x-ny when y is non-zero und update quo variable. According to LSB, if the x argument is +Inf, -Inf, or the y argument is +0 or -0 and the other argument is non-NaN. then error code shall be set to EDOM. But on the target machine, the functions set error code EOK instead of EDOM in these cases.